Some Remarks on Control Categories
نویسنده
چکیده
This paper is a collection of remarks on control categories, including answers to some frequently asked questions. The paper is not self-contained and must be read in conjunction with [3]. We clarify the definition of response categories, and show that most of the conditions can be dropped. In particular, the requirement of having finite sums can be dropped, leading to an interesting new CPS translation of the λμ-calculus. We discuss the choice of left-to-right vs. right-to-left evaluation in the call-by-value lambda calculus, an issue which is sometimes misunderstood because it is a purely syntactical issue which is not reflected semantically. We clarify the relationships between various alternative formulations of disjunction types and conjunction types, which coincide in call-by-value but differ in call-byname. We prove that copyable and discardable maps are not always central, and we characterize those control categories of the form R for which copyable and discardable implies central. We prove that any control category with initial object is a preorder. 1 Response categories and sums The central construction of [3] is the construction of a control category from a category with finite products and powers of the form R, for a single, distinguished object R. This construction is a categorical version of continuation passing style (CPS) semantics of the lambda calculus. In [3], a category C with a distinguished object R is called a response category if it satisfies the following conditions: 1. C has finite products. 2. Exponentials of the form R exist, for any object A. This means that there is a natural isomorphism of hom-sets (B,R) ∼=A (B ×A,R). 3. C has finite coproducts (sums). 4. Sums and products distribute, i.e., the canonical morphism d : (A× C) + (B × C)→ (A+B)× C is an isomorphism.
منابع مشابه
SOME REMARKS ON ALMOST UNISERIAL RINGS AND MODULES
In this paper we study almost uniserial rings and modules. An R−module M is called almost uniserial if any two nonisomorphic submodules are linearly ordered by inclusion. A ring R is an almost left uniserial ring if R_R is almost uniserial. We give some necessary and sufficient condition for an Artinian ring to be almost left uniserial.
متن کاملRemarks on completeness of lattice-valued Cauchy spaces
We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.
متن کاملSOME REMARKS ON GENERALIZATIONS OF MULTIPLICATIVELY CLOSED SUBSETS
Let R be a commutative ring with identity and Mbe a unitary R-module. In this paper we generalize the conceptmultiplicatively closed subset of R and we study some propertiesof these genaralized subsets of M. Among the many results in thispaper, we generalize some well-known theorems about multiplicativelyclosed subsets of R to these generalized subsets of M. Alsowe show that some other well-kno...
متن کاملSome remarks on generalizations of classical prime submodules
Let $R$ be a commutative ring with identity and $M$ be a unitary $R$-module. Suppose that $phi:S(M)rightarrow S(M)cup lbraceemptysetrbrace$ be a function where $S(M)$ is the set of all submodules of $M$. A proper submodule $N$ of $M$ is called an $(n-1, n)$-$phi$-classical prime submodule, if whenever $r_{1},ldots,r_{n-1}in R$ and $min M$ with $r_{1}ldots r_{n-1}min Nsetminusphi(N)$, then $r_{1...
متن کاملSome Remarks on Generalized Sequence Space of Bounded Variation of Sequences of Fuzzy Numbers
The idea of difference sequences of real (or complex) numbers was introducedby Ki zmaz cite{Kizmaz}. In this paper, using the difference operator and alacunary sequence, we introduce and examine the class of sequence $bv_{theta}left( Delta,mathcal{F}right) .$ We study some of its properties likesolidity, symmetricity, etc.
متن کاملSOME REMARKS ON WEAKLY INVERTIBLE FUNCTIONS IN THE UNIT BALL AND POLYDISK
We will present an approach to deal with a problem of existence of (not) weakly invertible functions in various spaces of analytic functions in the unit ball and polydisk based on estimates for integral operators acting between functional classes of different dimensions.
متن کامل